|
|
Search of Control Strategies Using UPPAAL STRATEGO
Hruška, Filip ; Hrubý, Martin (referee) ; Strnadel, Josef (advisor)
This thesis deals with finding control strategies for pre-selected problems from various areas using tool Uppaal Stratego. Four areas were selected, namely chess, a sliding puzzle, the tower of Hanoi, and a kinematic problem involving a package, a car, and an airplane. For the selected areas and problems, a set of models was designed and implemented. For the tower of Hanoi and the sliding field, it was possible to successfully evaluate relevant strategies, raising the probabilities of success to more than 90 %. For other models, a problem was found in the size of the state space and the strategies could not be evaluated because the maximum memory capacity that the tool uses was not sufficient. For the kinematic problem, after limiting and simplifying the model, the strategies were successfully evaluated, but for chess, this was not possible even after significant simplification.
|
|
|
Search of Control Strategies Using UPPAAL STRATEGO
Hruška, Filip ; Hrubý, Martin (referee) ; Strnadel, Josef (advisor)
This thesis deals with finding control strategies for pre-selected problems from various areas using tool Uppaal Stratego. Four areas were selected, namely chess, a sliding puzzle, the tower of Hanoi, and a kinematic problem involving a package, a car, and an airplane. For the selected areas and problems, a set of models was designed and implemented. For the tower of Hanoi and the sliding field, it was possible to successfully evaluate relevant strategies, raising the probabilities of success to more than 90 %. For other models, a problem was found in the size of the state space and the strategies could not be evaluated because the maximum memory capacity that the tool uses was not sufficient. For the kinematic problem, after limiting and simplifying the model, the strategies were successfully evaluated, but for chess, this was not possible even after significant simplification.
|
|
| |
|
|
New Hybrid Power Filter Topology and Control for Application in Industrial Networks
Pecha, I. ; Šimek, Petr ; Škramlík, Jiří ; Valouch, Viktor
The paper presents the new structure and control strategy of the Hybrid Power filter (HPF) with a split passive part. Its impedance is divided into two parts tuned to 50Hz and 250 Hz. The HPF topology is very efficient to mitigate harmonic currents especially for higher frequencies. The HPF functionality is influenced by the grid inductance changes only negligibly. The new HPF characteristics were compared with those for a standard HPF and a classic passive compensation by the simulation done in the Matlab/Simulink environment. The voltage and current values and their harmonic spectra were also measured in the real industrial plant Remarkplast, Ltd. under different conditions.
|
|
|
Multilevel IGBT pulse-controlled rectifier
Bejvl, Martin ; Šimek, Petr ; Škramlík, Jiří ; Valouch, Viktor
A low voltage PWM rectifier 5 kVA based on IGBT multilevel converter has been developed. It is characterized by a low THD value of the grid current and can change the power factor. The modular arrangement of a grid filter makes it possible to test either L or LCL type of grid filters of different parameters. The PWM rectifier is equipped with the vector control of the grid current and superimposed feedback loop of dc voltage.
|
guest ::
